Tautological consequence